Functional predicate - PDFSEARCH.IO - Document Search Engine

Functional predicate
Results: 59

#	Item
41	An XML-Based Lightweight C++ Fact Extractor Michael L. Collard, Huzefa H. Kagdi, Jonathan I. Maletic Department of Computer Science Kent State University Kent Ohio[removed]9039 Add to Reading List Source URL: www.cs.kent.edu Language: English - Date: 2003-02-28 16:50:05 Technical communication Functional languages Computer file formats XQuery XPath XSLT ANTLR Standard Generalized Markup Language Syntactic predicate Computing Markup languages XML
42	Why3: Shepherd Your Herd of Provers? Fran¸cois Bobot1,2 , Jean-Christophe Filliˆatre1,2 , Claude March´e2,1 , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2011-06-30 04:33:49 Formal methods Model theory Automated theorem proving Functional languages First-order logic Well-formed formula Functional predicate Proof assistant ML Logic Mathematical logic Mathematics
43	Separation Predicates: a Taste of Separation Logic in First-Order Logic? Fran¸cois Bobot and Jean-Christophe Filliˆatre LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-08-22 10:26:30 Formal methods Predicate logic Model theory Formal languages Predicate transformer semantics First-order logic Predicate Satisfiability Modulo Theories Functional predicate Logic Mathematics Mathematical logic
44	Functional Programming and Specification Lecture Note 2, 8 March 2011 Specifying functions in Extended ML The Extended ML (EML) specification language is ML with minimal extensions for specifying Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:37:30 Quantification Predicate logic Z notation Prenex normal form Universal quantification Type theory Axiom Extended ML S Mathematical logic Logic Mathematics
45	Croatian Dependency Treebank: Recent Development and Initial Experiments Daša Berović, Željko Agić, Marko Tadić Department of Linguistics Department of Information and Communication Sciences Faculty of Humani Add to Reading List Source URL: www.lrec-conf.org Language: English* - Date: 2012-05-16 13:55:44 Semantics Parts of speech Corpus linguistics Treebank Functional generative description Predicate Dependency grammar Parsing Natural language processing Linguistics Computational linguistics Grammar
46	First-Order Models for POMDPs Siddharth Srivastava Computer Science Division University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-08-01 03:54:59 Model theory Predicate logic Control theory Formal languages Functional predicate First-order logic Interpretation Predicate State space Logic Mathematical logic Mathematics
47	A Practical Theory of Language-Integrated Query James Cheney, Sam Lindley, Philip Wadler Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-03 23:20:14 Language Integrated Query Linguistics Software engineering Philip Wadler Meijer Yallop Syme Predicate Computing Functional programming .NET framework
48	Modelchecking Non-Functional Requirements for Interface Specifications Florian Kammüller and Sören Preibusch Add to Reading List Source URL: preibusch.de Language: English - Date: 2013-11-11 13:58:28 Predicate logic Selectable Mode Vocoder Logic Model theory First-order logic
49	VENSES GetAsk: a System for Hybrid Question Answering And Answer Recovery using Text Entailment Rodolfo Delmonte Add to Reading List Source URL: project.cgm.unive.it Language: English - Date: 2013-10-11 12:44:06 Grammar Generative linguistics Computational linguistics Predicate Binding Lexical functional grammar Anaphora Question Interpretation Linguistics Semantics Philosophy of language
50	Practical Conforming Datatype Groups Dave Turner and Jeremy J. Carroll {DavidT,Jeremy.Carroll}@hp.com HP Laboratories, Bristol, UK Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Functional languages Grammar Predicate Semantics C++ classes Integer Description logic ATS Arbitrary-precision arithmetic Mathematics Computing Software engineering